Ehlers, Rudiger: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Heave and pitch motions of a ship in model ice: An experimental study on ship resistance and ice breaking pattern

Rüdiger von Bock und Polach, Sören Ehlers

Journal:

Cold Regions Science and Technology

Year:

2011

Language:

english

File:

PDF, 1.76 MB

english, 2011

2

Progress in emitter wrap-through solar cell fabrication on boron doped Czochralski-grown silicon

Sonja Hermann, Agnes Merkle, Christian Ulzhöfer, Silke Dorn, Ilka Feilhaber, Miriam Berger, Thomas Friedrich, Till Brendemühl, Nils-Peter Harder, Lotte Ehlers, Katrin Weise, Rüdiger Meyer, Rolf Brende

Journal:

Solar Energy Materials and Solar Cells

Year:

2011

Language:

english

File:

PDF, 905 KB

english, 2011

3

Supervisory control and reactive synthesis: a comparative introduction

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.16 MB

english, 2017

4

Automated generation of dynamics-based runtime certificates for high-level control

DeCastro, Jonathan, Ehlers, Rüdiger, Rungger, Matthias, Balkan, Ayça, Kress-Gazit, Hadas

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.89 MB

english, 2017

5

Equivalent ice thickness in ship ice transit simulations: overview of existing definitions and proposition of an improved one

Milaković, Aleksandar-Saša, Li, Fang, von Bock und Polach, Rüdiger Ulrich Franz, Ehlers, Sören

Journal:

Ship Technology Research

Year:

2019

Language:

english

File:

PDF, 2.92 MB

english, 2019

6

Thiirene als Zwischenstufen der Thermolyse von 1,2,3-Thiadiazolen

Ernst Schaumann, Jörn Ehlers, Wolf-Rüdiger Förster, Gunadi Adiwidjaja

Journal:

European Journal of Inorganic Chemistry

Year:

1979

File:

PDF, 577 KB

1979

7

Modification of the circadian pattern of ventricular tachyarrhythmias by beta-blocker therapy

Steffen Behrens, Christoph Ehlers, Thomas Brüggemann, Wolfgang Ziss, Rüdiger Dissmann, Miroslawa Galecka, Stefan N. Willich, Dietrich Andresen

Journal:

Clinical Cardiology

Year:

1997

Language:

english

File:

PDF, 520 KB

english, 1997

8

Symbolic bounded synthesis

Rüdiger Ehlers

Journal:

Formal Methods in System Design

Year:

2012

Language:

english

File:

PDF, 950 KB

english, 2012

9

Circadian variation of sustained ventricular tachyarrhythmias terminated by appropriate shocks in patients with an implantable cardioverter defibrillator

Steffen Behrens, Miroslawa Galecka, Thomas Brüggemann, Christoph Ehlers, Stefan N. Willich, Wolfgang Ziss, Rüdiger Dissmann, Dietrich Andresen

Journal:

American Heart Journal

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

10

Risk stratification following myocardial infarction in the thrombolytic era: a two-step strategy using noninvasive and invasive methods

Dietrich Andresen, Gerhard Steinbeck, Thomas Brüggemann, Dirk Müller, Ralph Haberl, Steffen Behrens, Ellen Hoffmann, Karl Wegscheider, Rüdiger Dissmann, Hans-Christoph Ehlers

Journal:

Journal of the American College of Cardiology

Year:

1999

Language:

english

File:

PDF, 112 KB

english, 1999

11

[IEEE 2010 IEEE 31st Real-Time Systems Symposium (RTSS) - San Diego, CA, USA (2010.11.30-2010.12.3)] 2010 31st IEEE Real-Time Systems Symposium - Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams

Ehlers, Rudiger, Fass, Daniel, Gerke, Michael, Peter, Hans-Jorg

Year:

2010

Language:

english

File:

PDF, 337 KB

english, 2010

12

Model-scale ice — Part A: Experiments

von Bock und Polach, Rüdiger, Ehlers, Sören, Kujala, Pentti

Journal:

Cold Regions Science and Technology

Year:

2013

Language:

english

File:

PDF, 1.32 MB

english, 2013

13

Model scale ice — Part B: Numerical model

von Bock und Polach, Rüdiger, Ehlers, Sören

Journal:

Cold Regions Science and Technology

Year:

2013

Language:

english

File:

PDF, 1.40 MB

english, 2013

14

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments

Gangyuan Jing,, Ehlers, Rudiger, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 333 KB

english, 2013

15

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Resilience to intermittent assumption violations in reactive synthesis

Ehlers, Rüdiger, Topcu, Ufuk

Year:

2014

Language:

english

File:

PDF, 650 KB

english, 2014

16

[ACM Press the 8th annual conference - Seattle, Washington, USA (2006.07.08-2006.07.12)] Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06 - High-order punishment and the evolution of cooperation

Baranski, Bastian, Schmitt, Karlheinz, Seis, Danny, Slodzinski, Rafael, Steeg, Simon, Wiemann, Nils, Zimmermann, Marc, Bartz-Beielstein, Thomas, Ehlers, Rüdiger, Kajendran, Thusinthan, Kosslers, Björn

Year:

2006

Language:

english

File:

PDF, 37 KB

english, 2006

17

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Estimator-based reactive synthesis under incomplete information

Ehlers, Rüdiger, Topcu, Ufuk

Year:

2015

Language:

english

File:

PDF, 590 KB

english, 2015

18

[ASME ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering - San Francisco, California, USA (Sunday 8 June 2014)] Volume 10: Polar and Arctic Science and Technology - A Numerical Model to Initiate the Icebreaking Pattern in Level Ice

Erceg, Sandro, Ehlers, Sören, von Bock und Polach, Rüdiger, Leira, Bernt

Year:

2014

Language:

english

File:

PDF, 1.06 MB

english, 2014

19

[IEEE 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Hamburg, Germany (2015.9.28-2015.10.2)] 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Correct-by-synthesis reinforcement learning with temporal logic constraints

Wen, Min, Ehlers, Rudiger, Topcu, Ufuk

Year:

2015

Language:

english

File:

PDF, 278 KB

english, 2015

20

The first reactive synthesis competition (SYNTCOMP 2014)

Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentru

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 987 KB

english, 2017

21

A Decision-based Design Approach for Ships Operating in Open Water and Ice

von Bock und Polach, Rüdiger U. Franz, Ehlers, Sören, Erikstad, Stein Ove

Journal:

Journal of Ship Production and Design

Year:

2015

Language:

english

File:

PDF, 693 KB

english, 2015

22

[ASME ASME 2013 32nd International Conference on Ocean, Offshore and Arctic Engineering - Nantes, France (Sunday 9 June 2013)] Volume 6: Polar and Arctic Sciences and Technology; Offshore Geotechnics; Petroleum Technology Symposium - Ship Performance Assessment for Arctic Transport Routes

Erceg, Sandro, Ehlers, Sören, Ellingsen, Ingrid H., Slagstad, Dag, von Bock und Polach, Rüdiger, Erikstad, Stein Ove

Year:

2013

Language:

english

File:

PDF, 3.10 MB

english, 2013

23

[IEEE 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2017.1.16-2017.1.19)] 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification

Riener, Heinz, Ehlers, Rudiger, Fey, Goerschwin

Year:

2017

Language:

english

File:

PDF, 152 KB

english, 2017

24

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 367 KB

english, 2014

25

[ASME ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering - San Francisco, California, USA (Sunday 8 June 2014)] Volume 4B: Structures, Safety and Reliability - Challenges With Oil Spill Risk Assessment in Arctic Regions: Shipping Along the Northern Sea Route

Bambulyak, Alexei, von Bock und Polach, Rudiger U. Franz, Ehlers, Sören, Sydnes, Are

Year:

2014

Language:

english

File:

PDF, 863 KB

english, 2014

26

[ASME ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering - San Francisco, California, USA (Sunday 8 June 2014)] Volume 10: Polar and Arctic Science and Technology - On the Scalability of Model-Scale Ice Experiments

von Bock Und Polach, Rudiger U. Franz, Ehlers, Sören

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

27

Impact of vegetative emissions on urban ozone and biogenic secondary organic aerosol: Box model study for Berlin, Germany

Bonn, Boris, von Schneidemesser, Erika, Butler, Tim, Churkina, Galina, Ehlers, Christian, Grote, Rüdiger, Klemp, Dieter, Nothard, Rainer, Schäfer, Klaus, von Stülpnagel, Albrecht, Kerschbaumer, Andrea

Journal:

Journal of Cleaner Production

Year:

2017

Language:

english

File:

PDF, 2.16 MB

english, 2017

28

On the Scalability of Model-Scale Ice Experiments

Franz von Bock und Polach, Rüdiger U., Ehlers, Sören

Journal:

Journal of Offshore Mechanics and Arctic Engineering

Year:

2015

Language:

english

File:

PDF, 1.23 MB

english, 2015

29

Resilient, Provably-Correct, and High-Level Robot Behaviors

Wong, Kai Weng, Ehlers, Rudiger, Kress-Gazit, Hadas

Journal:

IEEE Transactions on Robotics

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

30

[IEEE 2018 Annual American Control Conference (ACC) - Milwaukee, WI (2018.6.27-2018.6.29)] 2018 Annual American Control Conference (ACC) - Steady Abstractions for CPS Controller Synthesis

Romero, Francisco Palau, Ehlers, Rudiger

Year:

2018

Language:

english

File:

PDF, 343 KB

english, 2018

31

[IEEE 2018 International Conference on Embedded Software (EMSOFT) - Torino, Italy (2018.9.30-2018.10.5)] 2018 International Conference on Embedded Software (EMSOFT) - Special Session: Embedded Software for Robotics: Challenges and Future Directions

Abbas, Houssam, Saha, Indranil, Shoukry, Yasser, Ehlers, Rudiger, Fainekos, Georgios, Gupta, Rajesh, Majumdar, Rupak, Ulus, Dogan

Year:

2018

Language:

english

File:

PDF, 1.00 MB

english, 2018

32

Establishing a common database of ice experiments and using machine learning to understand and predict ice behavior

Kellner, Leon, Stender, Merten, Von Bock Und Polach, Rüdiger U. Franz, Herrnring, Hauke, Ehlers, Sören, Hoffmann, Norbert, Høyland, Knut V.

Journal:

Cold Regions Science and Technology

Year:

2019

Language:

english

File:

PDF, 2.32 MB

english, 2019

33

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - On Improving the Efficiency of Game Solving for Hybrid System Control

Ehlers, Rudiger

Year:

2018

Language:

english

File:

PDF, 368 KB

english, 2018